6.17/7.53	unsat
