0.89/3.26	unsat
