0.28/1.07	unsat
