0.81/1.05	unsat
