17.11/18.93	unsat
