0.68/0.72	unsat
