17.95/18.30	unsat
