17.83/18.18	unsat
