55.32/61.45	unsat
