6.17/6.29	unsat
