6.27/6.35	unsat
