0.14/0.26	unsat
