0.78/1.02	unsat
