6.47/6.61	unsat
