6.49/6.53	unsat
