17.17/17.29	unsat
