17.14/19.89	unsat
