0.18/0.26	unsat
