0.89/1.64	unsat
