0.24/0.26	unsat
