0.10/1.26	unsat
