17.67/17.74	unsat
