17.67/17.73	unsat
