6.29/6.32	unsat
