0.10/0.26	unsat
