0.22/0.26	unsat
