16.47/19.00	unsat
