6.30/6.35	unsat
