17.99/19.00	unsat
