16.67/16.74	unsat
