0.18/0.24	unsat
