5.97/7.53	unsat
