61.42/61.68	unsat
