0.11/0.24	unsat
