61.39/63.72	unsat
