16.17/17.74	unsat
