59.77/61.65	unsat
