16.76/16.89	unsat
