17.34/19.92	unsat
