17.39/19.00	unsat
