58.09/61.47	unsat
