6.24/6.35	unsat
