17.76/19.92	unsat
