0.17/0.26	unsat
