6.08/6.53	unsat
