0.89/1.41	unsat
