16.56/16.92	unsat
