16.47/16.89	unsat
