17.93/18.00	unsat
