0.39/0.81	unsat
