6.28/8.35	unsat
