0.39/0.77	unsat
