6.25/6.35	unsat
