16.51/16.72	unsat
