MindSAT BACKEND