16.80/16.88	unsat
