18.98/19.00	unsat
