18.11/18.92	unsat
