16.67/19.00	unsat
