0.06/0.24	unsat
