17.85/18.92	unsat
