61.89/63.83	unsat
