0.68/1.02	unsat
