16.46/16.92	unsat
