61.02/63.68	unsat
