17.23/17.29	unsat
