16.27/17.92	unsat
