0.17/0.24	unsat
