55.83/57.68	unsat
