17.95/18.15	unsat
