16.98/17.00	unsat
