17.24/17.32	unsat
