17.67/17.72	unsat
