55.89/58.66	unsat
