16.84/19.92	unsat
