16.75/16.88	unsat
