0.20/0.26	unsat
