0.10/0.24	unsat
