55.86/58.68	unsat
