17.99/19.09	unsat
