55.01/57.85	unsat
