0.29/1.26	unsat
