0.68/0.81	unsat
