0.89/3.21	unsat
