55.05/57.68	unsat
