16.64/16.74	unsat
