17.55/18.92	unsat
