6.18/6.29	unsat
