17.61/18.00	unsat
