0.09/0.24	unsat
