5.60/6.53	unsat
