61.44/61.53	unsat
