16.36/19.00	unsat
